vmx: fix debugctl handling
authorKeir Fraser <keir.fraser@citrix.com>
Tue, 18 Mar 2008 13:10:57 +0000 (13:10 +0000)
committerKeir Fraser <keir.fraser@citrix.com>
Tue, 18 Mar 2008 13:10:57 +0000 (13:10 +0000)
commit4313213ee3929e669b21e8dc6df8b5dae0c9d428
tree12e7ebcc3d96e16765810e206eb097e08d69633b
parentff02680748a069d2e37504e6b02c33a8730efc72
vmx: fix debugctl handling

I recently realized that the original way of dealing with the DebugCtl
MSR on VMX failed to make use of the dedicated guest VMCS field. This
is fixed by this patch.

Signed-off-by: Jan Beulich <jbeulich@novell.com>
xen/arch/x86/hvm/vmx/vmcs.c
xen/arch/x86/hvm/vmx/vmx.c